Quotient Types - mrsekut-p

Quotient Types

ここで見た

型で入力のサイズを制限する

https://en.wikipedia.org/wiki/Quotient_type

https://www.hedonisticlearning.com/posts/quotient-types-for-programmers.html

https://www.youtube.com/watch?v=ljpE7NOb2Qg&list=PLBqWQH1MiwBSK9wuaATNS701c43VYVTuc&index=27

https://stackoverflow.com/questions/23596225/how-can-quotient-types-help-safely-expose-module-internals/39765173#39765173